7. Computing Limits

The Special Limits on the previous page may be combined with the following Limit Laws to compute many limits. They are justified based on the intuitive definition. The formal proofs will appear in the chapter on Precise Limits and Continuity.

a.2. Limit Laws

Let \(f(x)\) and \(g(x)\) be functions for which \(\lim\limits_{x\to a}f(x)=L\) and \(\lim\limits_{x\to a}g(x)=M\) where \(L\) and \(M\) are finite. Then:

Addition Law:           \(\lim\limits_{x\to a}(f(x)+g(x))=L+M\)

Subtraction Law:         \(\,\lim\limits_{x\to a}(f(x)-g(x))=L-M\)

Product Law:           \(\,\,\lim\limits_{x\to a}f(x)\,g(x)=LM\)

Quotient Law:           \(\lim\limits_{x\to a}\dfrac{f(x)}{g(x)}=\dfrac{L}{M}\),
provided \(g(x)\neq 0\) for all \(x\) and \(M\neq 0\).

Power Law:             \(\,\lim\limits_{x\to a}(g(x))^{f(x)}=M^L\),
provided \(g(x)\ge0\) for all \(x\), \(M\ge0\), \((g(x))^{f(x) }\) is defined for all \(x\) and \(M^L\) is defined.

Continuous Function Law:   \(\lim\limits_{x\to a}p(f(x)) =p(L)\),
where \(p(x)\) is any function which is continuous at \(L\).

In words, these say

The product, quotient and power laws include the special cases: \[\lim_{x\to a}(cf(x))=cL\qquad\qquad \lim_{x\to a}\dfrac{1}{f(x)}=\dfrac{1}{L}\] \[\lim_{x\to a}(f(x))^{\,p}=L^{\,p}\qquad\qquad \lim_{x\to a}b^{f(x)}=b^{\,L}\] where \(c\), \(p\) and \(b\gt0\) are constants. These say

In general, to compute a limit, we repeatedly apply the Limit Laws until we get down to the Special Limits.

Frequently, we do not introduce the letters \(L\) and \(M\). Then the Laws say:

In summary, the Limit Laws basically say that if we can plug in \(x=a\) and get a finite number, \(L\), while satisfying all the conditions in the Limit Laws, then \(L\) is the limit.

All is very nice when the Limit Laws apply, but most of our time will be spent on limits where the Limit Laws do not apply. In that case, we first need to algebraically manipulate the limit into a form where the Limit Laws do apply, as explained on the next page.

© MYMathApps

Supported in part by NSF Grant #1123255